fun main() {
}

// OLD check: INVALID_FALL_THROUGH
